workaround github cache output issues. (#749)
authortsteven4 <13596209+tsteven4@users.noreply.github.com>
Sat, 30 Oct 2021 14:14:11 +0000 (08:14 -0600)
committerGitHub <noreply@github.com>
Sat, 30 Oct 2021 14:14:11 +0000 (08:14 -0600)
commit5e91d04c1b9dc8c08898b126b543f96e186b78ad
tree632b100f153be8b8baeaf2fb2ec48804f3720998
parent77c1b7c3438a6d6d3060eddb5a66aa02095ded38
workaround github cache output issues. (#749)

a cache hit is reported only for an exact match.  But in a pull
request we can have an inexact match result in cache being fetched.
.github/workflows/windows.yml
tools/ci_install_windows.sh